Nuprl Definition : csinput-cmd 11,40

csinput-cmd(x) == chain_sys_ind(x;cmd.cmd;from,cmds.
latex


Definitionschain_sys_ind(x;cmd.input(cmd);from,cmds.update(from;cmds)),
FDL editor aliasescsinput-cmd

origin